Domain theory - PDFSEARCH.IO - Document Search Engine

Domain theory
Results: 638

#	Item
311	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
312	New Admissible Heuristics for Domain-Independent Planning Patrik Haslum Blai Bonet H´ector Geffner Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:56:30 Computational complexity theory Heuristic function Admissible heuristic Heuristic Automated planning and scheduling Mathematical optimization Fifteen puzzle Shortest path problem Scheduling Heuristics Mathematics Theoretical computer science
313	General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:10:24 Mathematics Interpretation Function Circumscription Skolem normal form Predicate variable Second-order logic Mathematical logic Logic Model theory
314	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
315	Mathematics Florida Standards (MAFS) Grade 7 Domain: RATIOS & PROPORTIONAL RELATIONSHIPS Cluster 1: Analyze proportional relationships and use Add to Reading List Source URL: flstandards.org Language: English - Date: 2014-05-27 21:58:49 Complexity Holism Systems Transdisciplinarity Sampling Mathematics ACT-R Cognition Ethology Complex systems theory Science Abstraction
316	Mathematics Florida Standards (MAFS) Grade 6 Domain: RATIOS & PROPORTIONAL RELATIONSHIPS Cluster 1: Understand ratio concepts and use ratio Add to Reading List Source URL: www.flstandards.org Language: English - Date: 2014-05-27 21:58:49 Holism Systems Transdisciplinarity Mathematics Number Science Structure Complex systems theory Abstraction Complexity
317	Mathematics Florida Standards (MAFS) Grade 4 Domain: OPERATIONS AND ALGEBRAIC THINKING Cluster 1: Use the four operations with whole nu Add to Reading List Source URL: www.flstandards.org Language: English - Date: 2014-05-27 21:58:49 Complex systems theory Division Fraction Numbers Pi Complexity Addition Mathematics Elementary arithmetic Mathematical analysis
318	Mathematics Florida Standards (MAFS) Grade K Domain: COUNTING AND CARDINALITY Cluster 1: Know number names and the count sequence. ST Add to Reading List Source URL: www.flstandards.org Language: English - Date: 2014-05-27 21:58:49 Mental processes Cognitive science Complex systems theory Abstraction Complexity Holism Counting Recall Cognition Mind Science Ethology
319	Mathematics Florida Standards (MAFS) Grade K Domain: COUNTING AND CARDINALITY Cluster 1: Know number names and the count sequence. ST Add to Reading List Source URL: flstandards.org Language: English - Date: 2014-05-27 21:58:49 Mental processes Cognitive science Complex systems theory Abstraction Complexity Holism Counting Recall Cognition Mind Science Ethology
320	Mathematics Florida Standards (MAFS) Grade 4 Domain: OPERATIONS AND ALGEBRAIC THINKING Cluster 1: Use the four operations with whole nu Add to Reading List Source URL: flstandards.org Language: English - Date: 2014-05-27 21:58:49 Complex systems theory Division Fraction Numbers Pi Complexity Addition Mathematics Elementary arithmetic Mathematical analysis

UPDATE